# -*- mode: snippet -*-
# name: Prenex Implicits
# key: pi
# uuid: pi
# --
Prenex Implicits $1
